A Reformulation of Matrix Graph Grammars with Boolean Complexes

Prior publication in the Electronic Journal of Combinatorics.Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammars have been traditionally studied using techniques from category theory. In previous works, we introduced Matrix Graph Grammars (MGG) as a purely algebraic approach for the study of graph dynamics, based on the representation of simple graphs by means of their adjacency matrices. The observation that, in addition to positive information, a rule implicitly defines negative conditions for its application (edges cannot become dangling, and cannot be added twice as we work with simple digraphs) has led to a representation of graphs as two matrices encoding positive and negative information. Using this representation, we have reformulated the main concepts in MGGs, while we have introduced other new ideas. In particular, we present (i) a new formulation of productions together with an abstraction of them (so called swaps), (ii) the notion of coherence, which checks whether a production sequence can be potentially applied, (iii) the minimal graph enabling the applicability of a sequence, and (iv) the conditions for compatibility of sequences (lack of dangling edges) and G-congruence (whether two sequences have the same minimal initial graph).This work has been partially sponsored by the Spanish Ministry of Science and Innovation, project METEORIC (TIN2008-02081/TIN)

Suavidad, convexidad, dualidad y renormamientos

The goal of this Bachelor thesis is to study some specifical geometric properties, which are related to the convexity and smoothness of Banach spaces. More precisely we will go over the definitions of strict convexity, uniform convexity, smoothness and uniform smoothness. We will study some duality relationships between strict convexity and smoothness, namely that the strict convexity (smoothness) of the dual norm implies the smoothness (strict convexity) of the norm. We show an example proving that the converse of this duality results do not hold. However, we will prove that there is a complete duality relationship between uniform convexity and uniform smoothness through Lindenstrauss’ formula. With regard to renorming theory, it will be also showed that every separable space can be renormed in order to be strictly convex. We will go also over Enflo’s Theorem: a space is superreflexive if and only if it admits an uniform convex renorming. In the last chapter we improve the above results. In fact, almost all renormings of a separable space are strictly convex and almost all renomings of a superreflexive space are uniformly convex.Universidad de Sevilla. Grado en Matemática

Matrix approach to graph transformation

This is an electronic version of the paper presented at the International Congress of Mathematicians, held in Madrid on 200

Using matrix graph grammars for the analysis of behavioural specifications: Sequential and parallel independence

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007)In this paper we present a new approach for the analysis of rule-based specification of system dynamics. We model system states as simple digraphs, which can be represented with boolean matrices. Rules modelling the different state changes of the system can also be represented with boolean matrices, and therefore the rewriting is expressed using boolean operations only. The conditions for sequential independence between pair of rules are well-known in the categorical approaches to graph transformation (e.g. single and double pushout). These conditions state when two rules can be applied in any order yielding the same result. In this paper, we study the concept of sequential independence in our framework, and extend it in order to consider derivations of arbitrary finite length. Instead of studying one-step rule advances, we study independence of rule permutations in sequences of arbitrary finite length. We also analyse the conditions under which a sequence is applicable to a given host graph. We introduce rule composition and give some preliminary results regarding parallel independence. Moreover, we improve our framework making explicit the elements which, if present, disable the application of a rule or a sequence.Work sponsored by Spanish Ministry of Science and Education, project MOSAIC (TSI2005-08225-C07-06)

Recent advances in biorefineries based on lignin extraction using deep eutectic solvents: A review

Considering the urgent need for alternative biorefinery schemes based on sustainable development, this review aims to summarize the state-of-the-art in the use of deep eutectic solvent pretreatment to fractionate lignocellulose, with a focus on lignin recovery. For that, the key parameters influencing the process are discussed, as well as various strategies to enhance this pretreatment efficiency are explored. Moreover, this review describes the challenges and opportunities associated with the valorization of extraction-derived streams and highlights recent advancements in solvent recovery techniques. Furthermore, the utilization of computational models for process design and optimization is introduced, as the initial attempts at the economic and environmental assessment of this lignocellulosic bioprocess based on deep eutectic solvents. Overall, this review offers a comprehensive perspective on the recent advances in this emerging field and serves as a foundation for further research on the potential integration of deep eutectic pretreatment in sustainable multi-product biorefinery schemes.Agencia Estatal de Investigación | Ref. PID2019-110031RB-I00Agencia Estatal de Investigación | Ref. TED2021-132088B-I00Xunta de Galicia | Ref. ED431C 2021/46-GRCXunta de Galicia | Ref. ED431F 2022/09 k251Universidade de Vigo/CISU

Scott : A method for representing graphs asrooted trees for graph canonization

International audienceGraphs increasingly stand out as an essential data structurein the field of data sciences. To study graphs, or sub-graphs, that char-acterize a set of observations, it is necessary to describe them formally,in order to characterize equivalence relations that make sense in thescope of the considered application domain. Hence we seek to define acanonical graph notation, so that two isomorphic (sub) graphs have thesame canonical form. Such notation could subsequently be used to indexand retrieve graphs or to embed them efficiently in some metric space.Sequential optimized algorithms solving this problem exist, but do notdeal with labeled edges, a situation that occurs in important applicationdomains such as chemistry. We present in this article a new algorithmbased on graph rewriting that provides a general and complete solution tothe graph canonization problem. Although not reported here, the formalproof of the validity of our algorithm has been established. This claim isclearly supported empirically by our experimentation on synthetic com-binatorics as well as natural graphs. Furthermore, our algorithm supportsdistributed implementations, leading to efficient computing perspectives

Impact of operatoŕs experience on peri-procedural outcomes with Watchman FLX: Insights from the FLX-SPA registry

Background: The Watchman FLX is a device upgrade of the Watchman 2.5 that incorporates several design enhancements intended to simplify left atrial appendage occlusion (LAAO) and improve procedural outcomes. This study compares peri-procedural results of LAAO with Watchman FLX (Boston Scientific, Marlborough, Massachusetts) in centers with varying degrees of experience with the Watchman 2.5 and Watchman FLX. Methods: Prospective, multicenter, 'real-world' registry including consecutive patients undergoing LAAO with the Watchman FLX at 26 Spanish sites (FLX-SPA registry). Implanting centers were classified according to the center's prior experience with the Watchman 2.5. A further division of centers according to whether or not they had performed ≤ 10 or > 10Watchman FLX implants was prespecified at the beginning of the study. Procedural outcomes of institutions stratified according to their experience with the Watchman 2.5 and FLX devices were compared. Results: 359 patients [mean age 75.5 (SD8.1), CHA2DS2-VASc 4.4 (SD1.4), HAS-BLED 3.8(SD0.9)] were included. Global success rate was 98.6%, successful LAAO with the first selected device size was achieved in 95.5% patients and the device was implanted at first attempt in 78.6% cases. There were only 9(2.5%) major peri-procedural complications. No differences in efficacy or safety results according to the centeŕs previous experience with Watchman 2.5 and procedural volume with Watchman FLX existed. Conclusions: The Watchman FLX attains high procedural success rates with complete LAA sealing in unselected, real-world patients, along with a low incidence of peri-procedural complications, regardless of operatoŕs experience with its previous device iteration or the number of Watchman FLX devices implanted

Izaña Atmospheric Research Center. Activity Report 2019-2020

Editors: Emilio Cuevas, Celia Milford and Oksana Tarasova.[EN]The Izaña Atmospheric Research Center (IARC), which is part of the State Meteorological Agency of Spain (AEMET), is a site of excellence in atmospheric science. It manages four observatories in Tenerife including the high altitude Izaña Atmospheric Observatory. The Izaña Atmospheric Observatory was inaugurated in 1916 and since that date has carried out uninterrupted meteorological and climatological observations, contributing towards a unique 100-year record in 2016. This reports are a summary of the many activities at the Izaña Atmospheric Research Center to the broader community. The combination of operational activities, research and development in state-of-the-art measurement techniques, calibration and validation and international cooperation encompass the vision of WMO to provide world leadership in expertise and international cooperation in weather, climate, hydrology and related environmental issues.[ES]El Centro de Investigación Atmosférica de Izaña (CIAI), que forma parte de la Agencia Estatal de Meteorología de España (AEMET), representa un centro de excelencia en ciencias atmosféricas. Gestiona cuatro observatorios en Tenerife, incluido el Observatorio de Izaña de gran altitud, inaugurado en 1916 y que desde entonces ha realizado observaciones meteorológicas y climatológicas ininterrumpidas y se ha convertido en una estación centenaria de la OMM. Estos informes resumen las múltiples actividades llevadas a cabo por el Centro de Investigación Atmosférica de Izaña. El liderazgo del Centro en materia de investigación y desarrollo con respecto a las técnicas de medición, calibración y validación de última generación, así como la cooperación internacional, le han otorgado una reputación sobresaliente en lo que se refiere al tiempo, el clima, la hidrología y otros temas ambientales afines

Treatment with tocilizumab or corticosteroids for COVID-19 patients with hyperinflammatory state: a multicentre cohort study (SAM-COVID-19)

Objectives: The objective of this study was to estimate the association between tocilizumab or corticosteroids and the risk of intubation or death in patients with coronavirus disease 19 (COVID-19) with a hyperinflammatory state according to clinical and laboratory parameters. Methods: A cohort study was performed in 60 Spanish hospitals including 778 patients with COVID-19 and clinical and laboratory data indicative of a hyperinflammatory state. Treatment was mainly with tocilizumab, an intermediate-high dose of corticosteroids (IHDC), a pulse dose of corticosteroids (PDC), combination therapy, or no treatment. Primary outcome was intubation or death; follow-up was 21 days. Propensity score-adjusted estimations using Cox regression (logistic regression if needed) were calculated. Propensity scores were used as confounders, matching variables and for the inverse probability of treatment weights (IPTWs). Results: In all, 88, 117, 78 and 151 patients treated with tocilizumab, IHDC, PDC, and combination therapy, respectively, were compared with 344 untreated patients. The primary endpoint occurred in 10 (11.4%), 27 (23.1%), 12 (15.4%), 40 (25.6%) and 69 (21.1%), respectively. The IPTW-based hazard ratios (odds ratio for combination therapy) for the primary endpoint were 0.32 (95%CI 0.22-0.47; p < 0.001) for tocilizumab, 0.82 (0.71-1.30; p 0.82) for IHDC, 0.61 (0.43-0.86; p 0.006) for PDC, and 1.17 (0.86-1.58; p 0.30) for combination therapy. Other applications of the propensity score provided similar results, but were not significant for PDC. Tocilizumab was also associated with lower hazard of death alone in IPTW analysis (0.07; 0.02-0.17; p < 0.001). Conclusions: Tocilizumab might be useful in COVID-19 patients with a hyperinflammatory state and should be prioritized for randomized trials in this situatio